Research
Shixin Song*,
Tingzhen Dong*,
Kosi Nwabueze,
Julian Zanders,
Andres Erbsen,
Adam Chlipala,
Mengjia Yan
2023 - 2025
The ACM Conference on Computer and Communications Security (CCS) 2025
Presented a transformation framework that rewrites cryptographic assembly programs to separate secret and public stack data, facilitating secure speculation using hardware taint tracking.
